Luca Trevisan's Documents

Luca Trevisan's Documents

Reactive systems: modelling, specification and verification

Reactive systems: modelling, specification and verification
Read more
Introduction to Partial Differential Equations with MATLAB

Introduction to Partial Differential Equations with MATLAB
Read more
Innovations in Distribution Logistics (Lecture Notes in Economics and Mathematical Systems)

Innovations in Distribution Logistics (Lecture Notes in Economics and Mathematical Systems)
Read more
Handbook of Photochemistry, Third Edition

Handbook of Photochemistry, Third Edition
Read more
Cancer and Sexual Health

Cancer and Sexual Health
Read more
An introduction to the Heisenberg group and the sub-Riemannian isoperimetric problem

An introduction to the Heisenberg group and the sub-Riemannian isoperimetric problem
Read more
Contrast-Enhanced Ultrasound in Clinical Practice: Liver, Prostate, Pancreas, Kidney and Lymph Nodes

Contrast-Enhanced Ultrasound in Clinical Practice: Liver, Prostate, Pancreas, Kidney and Lymph Nodes
Read more
Advances in learning classifier systems: 4th international workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001 : revised papers

Advances in learning classifier systems: 4th international workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001 : revised papers
Read more
Authentic Recipes from China

Authentic Recipes from China
Read more
Distributed Large-Scale Dimensional Metrology: New Insights

Distributed Large-Scale Dimensional Metrology: New Insights
Read more
Handbook of photochemistry

Handbook of photochemistry
Read more
Theoretical Computer Science, Volume 340, Issue 2, Pages 179-456 (27 June 2005), The Art of Theory

Theoretical Computer Science, Volume 340, Issue 2, Pages 179-456 (27 June 2005), The Art of Theory
Read more
Advances in Control of Articulated and Mobile Robots (Springer Tracts in Advanced Robotics)

Advances in Control of Articulated and Mobile Robots (Springer Tracts in Advanced Robotics)
Read more
Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification
Read more
Theoretical Computer Science, 7 conf., ICTCS 2001

Theoretical Computer Science, 7 conf., ICTCS 2001
Read more
Network Science: Complexity in Nature and Technology

Network Science: Complexity in Nature and Technology
Read more
Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification
Read more
Religion and Ethics in a Globalizing World: Conflict, Dialogue, and Transformation

Religion and Ethics in a Globalizing World: Conflict, Dialogue, and Transformation
Read more
Handbook of photochemistry (Third Edition)

Handbook of photochemistry (Third Edition)
Read more
Teaching Strategies: A Guide to Effective Instruction , Ninth Edition

Teaching Strategies: A Guide to Effective Instruction , Ninth Edition
Read more
Genetic Programming: 4th European Conference, EuroGP 2001 Lake Como, Italy, April 18-20, 2001 Proceedings: European Conference, EuroGP 2001 Lake Como, ... 4th

Genetic Programming: 4th European Conference, EuroGP 2001 Lake Como, Italy, April 18-20, 2001 Proceedings: European Conference, EuroGP 2001 Lake Como, ... 4th
Read more
Automata, Languages and Programming, 35 conf., ICALP 2008, part 2

Automata, Languages and Programming, 35 conf., ICALP 2008, part 2
Read more
Effetti, potenzialita e limiti della globalizzazione: Una visione multidisciplinare

Effetti, potenzialita e limiti della globalizzazione: Una visione multidisciplinare
Read more
At Loggerheads?: Agricultural Expansion, Poverty Reduction, And Environment in the Tropical Forests (World Bank Policy Research Report)

At Loggerheads?: Agricultural Expansion, Poverty Reduction, And Environment in the Tropical Forests (World Bank Policy Research Report)
Read more
Introduction to the Analysis Ancient Turbidites (Continuing Education Course Notes Series, No 39)

Introduction to the Analysis Ancient Turbidites (Continuing Education Course Notes Series, No 39)
Read more
Trends in Neurovascular Surgery (Acta Neurochirurgica Supplementum, Suppl. 112)

Trends in Neurovascular Surgery (Acta Neurochirurgica Supplementum, Suppl. 112)
Read more
Ant Colony Optimization And Swarm Intelligence

Ant Colony Optimization And Swarm Intelligence
Read more
Modelling, Estimation and Control of Networked Complex Systems (Understanding Complex Systems)

Modelling, Estimation and Control of Networked Complex Systems (Understanding Complex Systems)
Read more
Automata, Languages and Programming, 35 conf., ICALP 2008, part 1

Automata, Languages and Programming, 35 conf., ICALP 2008, part 1
Read more
Contrast-enhanced ultrasound in clinical practice: liver, prostate, pancreas, kidney and lymph nodes

Contrast-enhanced ultrasound in clinical practice: liver, prostate, pancreas, kidney and lymph nodes
Read more